Generating Loops with the Inverse Property
نویسندگان
چکیده
This is an investigation in the tradition of Fujita et al (IJCAI 1993), Zhang et al (JSC 1996), Dubois and Dequen (CP 2001) in which CP or SAT techniques are used to answer existence questions concerning small algebras. In this paper, we open the attack on IP loops, an interesting and underinvestigated variety intermediate between loops and groups.
منابع مشابه
On the Universality of Some Smarandache Loops of Bol-moufang Type
A Smarandache quasigroup(loop) is shown to be universal if all its f, g-principal isotopes are Smarandache f, g-principal isotopes. Also, weak Smarandache loops of Bol-Moufang type such as Smarandache: left(right) Bol, Moufang and extra loops are shown to be universal if all their f, g-principal isotopes are Smarandache f, gprincipal isotopes. Conversely, it is shown that if these weak Smaranda...
متن کاملAn holomorphic study of Smarandache automorphic and cross inverse property loops
By studying the holomorphic structure of automorphic inverse property quasigroups and loops[AIPQ and (AIPL)] and cross inverse property quasigroups and loops[CIPQ and (CIPL)], it is established that the holomorph of a loop is a Smarandache; AIPL, CIPL, Kloop, Bruck-loop or Kikkawa-loop if and only if its Smarandache automorphism group is trivial and the loop is itself is a Smarandache; AIPL, CI...
متن کاملar X iv : 0 70 6 . 14 81 v 1 [ m at h . G R ] 1 1 Ju n 20 07 Weak Inverse Property Loops and Some Isotopy - Isomorphy Properties ∗ †
Two distinct isotopy-isomorphy conditions, different from those of J. M. Osborn and Wilson’s condition, for a weak inverse property loop(WIPL) are shown. Only one of them characterizes isotopy-isomorphy in WIPLs while the other is just a sufficient condition for isotopy-isomorphy. Under the sufficient condition called the T condition, Artzy’s result that isotopic cross inverse property loops(CI...
متن کاملPower-associative, Conjugacy Closed Loops
We study conjugacy closed loops (CC-loops) and power-associative CC-loops (PACC-loops). If Q is a PACC-loop with nucleus N , then Q/N is an abelian group of exponent 12; if in addition Q is finite, then |Q| is divisible by 16 or by 27. There are eight nonassociative PACC-loops of order 16, three of which are not extra loops. There are eight nonassociative PACC-loops of order 27, four of which h...
متن کاملOn a Cryptographic Identity in Osborn Loops
This study digs out some new algebraic properties of an Osborn loop that will help in the future to unveil the mystery behind the middle inner mappings T(x) of an Osborn loop. These new algebraic properties, will open our eyes more to the study of Osborn loops like CC-loops which has received a tremendious attention in this 21st and VD-loops whose study is yet to be explored. In this study, som...
متن کامل